Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
271	Jack H. Lutz - Short CV Current position: Professor of Computer Science, Iowa State University (Assistant Professor; Associate Professor; Professor 1996-present) Professor of Mathematics Faculty Membe Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2015-04-12 22:23:22 Computer science Computability in Europe Algorithmic information theory Randomness Mathematical logic Computability Algorithm Computational complexity theory DNA computing Theoretical computer science Applied mathematics Mathematics
272	The Ackermann Award 2005 Erich Gr¨ adel, Janos Makowsky, and Alexander Razborov Members of EACSL Jury for the Ackermann Award The Ackermann Award Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:16 Automated theorem proving Computability theory Theory of computation Computational complexity theory Logic in computer science Alexander Razborov Wilhelm Ackermann Decidability First-order logic Theoretical computer science Mathematics Logic
273	On the computational content of the Lawson topology Fr´ed´eric De Jaeger DI, Ecole Normale Sup´erieure, Paris ´ Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-07-19 08:48:33 Theoretical computer science Mathematical logic Recursively enumerable set Recursive set Enumeration Topology Continuous function Numbering Subbase Mathematics Computability theory Theory of computation
274	Creativity, Cognitive Mechanisms, and Logic Ahmed Abdel-Fattah, Tarek Besold, and Kai-Uwe Kühnberger University of Osnabrück, Albrechtstr. 28, Germany, {ahabdelfatta,tbesold,kkuehnbe}@uos.de Abstract. Creativity is us Add to Reading List Source URL: agi-conference.org Language: English - Date: 2012-12-09 09:50:44 Cognitive science Cognition Educational psychology Semantics Artificial intelligence Computational creativity Creativity Analogy Conceptual blending Science Mind Ethology
275	The Ackermann Award 2008 J.A. Makowsky and D. Niwinski Members of EACSL Jury for the Ackermann Award! The fourth Ackermann Award is presented at this CSL’08. This is the second year in which the EACSL Ackermann Award i Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Game theory Determinacy Logic in computer science Parity game Wilhelm Ackermann Ackermann function IEEE Symposium on Logic in Computer Science Computational complexity theory Stochastic Mathematics Mathematical logic Theoretical computer science
276	Exploring the Computational Tradeoff of more Reasoning and Less Searching Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-05-15 13:05:48 Applied mathematics Formal methods Logic in computer science Constraint programming Boolean algebra Boolean satisfiability problem Resolution Unit propagation Clause Theoretical computer science Automated theorem proving Mathematics
277	NOTE: This is a preliminary release of an article accepted by the ACM Transactions on Modeling and Computer Simulation. The definitive version is currently in production at ACM and, when released, will supersede this ver Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2006-01-19 10:01:48 Science Computational science Operations research Simulation Network simulation Logic simulation Computer simulation Algorithm Wireless sensor network Electronic engineering Scientific modeling Electronic design automation
278	The Ackermann Award 2009 J.A. Makowsky and A. Razborov Members of EACSL Jury for the Ackermann Award The ﬁfth Ackermann Award is presented at this CSL’09, held in Coimbra, Portugal. This is the third year in which th Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Logic Wilhelm Ackermann Alexander Razborov Proof complexity DPLL algorithm Resolution Computational complexity theory Ackermann function Propositional proof system Theoretical computer science Mathematics Automated theorem proving
279	Logic Systems Laboratory (EPFL): Roadmap in Artificial Neural Network technologies The Logic Systems Laboratory, School of Computer and Communication Sciences, Swiss Federal Institute of Technology-Lausanne (EPFL) conduc Add to Reading List Source URL: lslwww.epfl.ch Language: English - Date: 2003-08-06 08:36:13 Science Cybernetics Artificial intelligence Computational statistics Network architecture Artificial neural network Evolvable hardware Machine learning Fuzzy control system Computational neuroscience Neural networks Applied mathematics
280	The Ackermann Award 2011 Report of the Jury The seventh Ackermann Award will be presented at this CSL’11, held in Bergen, Norway. This is the ﬁfth year the EACSL Ackermann Award is generously sponsored. Our sponsor f Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Computational complexity theory Finite model theory Circuit complexity Clique problem Clique Wilhelm Ackermann Logic Switching lemma Descriptive complexity theory Theoretical computer science Mathematics Applied mathematics

UPDATE